Nuprl Definition : so_apply7
13,42
postcript
pdf
x
(
a
,
b
,
c
,
d
,
e
,
f
,
g
) ==
x
(
a
,
b
,
c
,
d
,
e
,
f
,
g
)
latex
Up
core
2
,
core
2
Definitions
f
(
a
)
origin